Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
991	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
992	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction
993	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
994	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
995	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
996	A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical proof Proof assistant Logic programming Coq Mathematical logic Formal methods Proof Automated reasoning Logic Mathematics Theoretical computer science
997	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
998	Foundations of the Unified Modeling Language Tony Clark, Andy Evans Formal Methods Group, Department of Computing, University of Bradford, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:28 Diagrams Information science Software engineering Infographics Class diagram Object diagram ECO Entity-relationship model Communication diagram UML diagrams Data modeling Unified Modeling Language
999	In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-09-24 15:20:25 Computability theory Theory of computation Models of computation Formal methods Algorithm Computational geometry Computability Computational science Computer science Theoretical computer science Applied mathematics Mathematics